#!/bin/bash
clear;
# define JAVA_HOME
export JAVA_HOME=/home/leonardo/programs/jdk1.6.0_14
echo "JAVA_HOME is $JAVA_HOME"
# define HW_HOME 
export HW_HOME=/home/leonardo/phd/caseStudies/HealthWatcher/Implementation/Java/version01/HealthWatcherOO_01_Base
echo "HW_HOME is $HW_HOME"
#define path
export path=$JAVA_HOME/bin:$path
export path=$HW_HOME/bats:$path
echo $path
export classpath=$JAVA_HOME/lib/tools.jar
export classpath=$classpath:$JAVA_HOME/lib/rt.jar
export classpath=$classpath:$HW_HOME/lib/classes12.zip
export classpath=$classpath:$HW_HOME/lib/jsdk.jar
export classpath=$classpath:$HW_HOME/tmp/classes
echo $classpath

